perpendicular to x^2=y^2+1 at (2,sqrt(3))